#include <iomanip>
#include <iostream>
#include <list>
#include <vector>
using namespace std;

template <class Iter1, class Iter2, class Iter3>
Iter3 inner_produce(Iter1 first, Iter1 last, Iter2 begin, Iter3 ret)
{
    Iter3 sum = ret;
    while (first != last)
    {
        sum += (*first++ * *begin++);
    }
    return sum;
}

int main()
{
    vector<double> dow_pricve;
    list<double> dow_weight;
    for (double p, w; cin >> p >> w;)
    {
        dow_pricve.push_back(p);
        dow_weight.push_back(w);
    }
    double dij_index = inner_produce(dow_pricve.begin(), dow_pricve.end(), dow_weight.begin(), 0.0);
    cout << "DJI value " << fixed << setprecision(6) << dij_index << '\n';
    return 0;
}